Toward a Synthetic Theory of (∞, 1)-categories, Part I: Preliminaries
نویسنده
چکیده
In this first of two papers on ∞-category theory, we present information and resources on the basic prerequisites to parse the Riehl-Verity theory of ∞-cosmoi, the main topic of, e.g, [RV16b]. We provide basic definitions of monoidal categories, enriched categories, model categories, simplicial sets, and quasicategories, leading up to the main definition of [RV17], that of an ∞cosmos. Examples are given throughout, and we ultimately show that the category QuasiCat of quasicategories is an ∞-cosmos.
منابع مشابه
Noetherian Hereditary Abelian Categories Satisfying Serre Duality
Notations and conventions 296 Introduction 296 I. Serre duality and almost split sequences 300 I.1. Preliminaries on Serre duality 300 I.2. Connection between Serre duality and Auslander–Reiten triangles 304 I.3. Serre functors on hereditary abelian categories 307 II. Hereditary noetherian abelian categories with non-zero projective objects 309 II.1. Hereditary abelian categories constructed fr...
متن کاملUniverses of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches
For classical sets one has with the cumulative hierarchy of sets, with axiomatizations like the system ZF, and with the category SET of all sets and mappings standard approaches toward global universes of all sets. We discuss here the corresponding situation for fuzzy set theory. Our emphasis will be on various approaches toward (more or less naively formed) universes of fuzzy sets as well as o...
متن کاملA History of Selected Topics in Categorical Algebra I: From Galois Theory to Abstract Commutators and Internal Groupoids
This paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical Galois theory and involves generalized central extensions, commutators, and internal groupoids in Barr exact Mal’tsev and more general categories. Galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an a...
متن کاملGottwald Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory . Part II : Category Theoretic Approaches
For classical sets one has with the cumulative hierarchy of sets, with axiomatizations like the system ZF, and with the category SET of all sets and mappings standard approaches toward global universes of all sets. We discuss here the corresponding situation for fuzzy set theory. Our emphasis will be on various approaches toward (more or less naively formed) universes of fuzzy sets as well as o...
متن کامل